Admissible rule

Results: 97



#Item
41Deduction / Predicate logic / Computability theory / Lambda calculus / Theoretical computer science / Free variables and bound variables / Entailment / Unification / Admissible rule / Logic / Mathematical logic / Mathematics

Higher-Order Pattern Complement and the Strict λ-Calculus ALBERTO MOMIGLIANO University of Leicester and FRANK PFENNING

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2010-11-12 07:48:30
42Mathematics / Algebraic geometry / Field theory / Valuation / Information Processing Language / Admissible rule / H0 / Symbol / Natural deduction / Mathematical logic / Logic / Procedural programming languages

A Program Logic for Resource Verification David Aspinall1 , Lennart Beringer1 , Martin Hofmann2 , Hans-Wolfgang Loidl2 , Alberto Momigliano1 1 2

Add to Reading List

Source URL: groups.inf.ed.ac.uk

Language: English - Date: 2004-05-24 09:01:38
43Kripke semantics / Saul Kripke / General frame / Admissible rule / Modal algebra / Normal modal logic / Accessibility relation / Possible world / Modal realism / Logic / Mathematical logic / Modal logic

Logically Possible Worlds and Counterpart Semantics for Modal Logic MARCUS KRACHT AND OLIVER KUTZ Abstract. The paper reviews the technical results from modal logic as well as their philosophical significance. It focuse

Add to Reading List

Source URL: www.linguistics.ucla.edu

Language: English - Date: 2005-05-11 15:44:48
44Objection / Evidence / Admissible evidence / Hearsay / Law / Evidence law / Legal procedure

Pursuant to Ind. Appellate Rule 65(D), this Memorandum Decision shall not be regarded as precedent or cited before any court except for the purpose of establishing the defense of res judicata, collateral estoppel, or the

Add to Reading List

Source URL: www.in.gov

Language: English - Date: 2015-01-22 10:03:22
45Mathematical logic / Automata theory / Finite state transducer / Admissible rule / Symbol / Structure / String / Model theory / Normal distribution / Mathematics / Formal languages / Logic

THE POWER OF EXTENDED TOP-DOWN TREE TRANSDUCERS∗ ANDREAS MALETTI† , JONATHAN GRAEHL‡ , MARK HOPKINS§ , AND KEVIN KNIGHT¶ Abstract. Extended top-down tree transducers (transducteurs g´ en´ eralis´ es descendant

Add to Reading List

Source URL: www.isi.edu

Language: English - Date: 2009-02-23 10:58:14
46Daubert standard / Hearsay / Evidence / Expert witness / Harmless error / Witness / Fingerprint / Rules of evidence / Admissible evidence / Law / Evidence law / Crawford v. Washington

NOTICE: This opinion is subject to motions for rehearing under Rule 22 as well as formal revision before publication in the New Hampshire Reports. Readers are requested to notify the Reporter, Supreme Court of New Hampsh

Add to Reading List

Source URL: www.swgfast.org

Language: English - Date: 2010-11-26 17:03:04
47Eyewitness identification / Perry v. New Hampshire / Witness / Evidence / Exclusionary rule / Admissible evidence / Gary L. Wells / Expert witnesses in English law / Evidence law / Law / Common law

****************************************************** The ‘‘officially released’’ date that appears near the beginning of each opinion is the date the opinion will be published in the Connecticut Law Journal or

Add to Reading List

Source URL: jud.ct.gov

Language: English - Date: 2014-07-21 11:21:44
48Admissible evidence / Evidence law / Objection

Pursuant to Ind.Appellate Rule 65(D), this Memorandum Decision shall not be regarded as precedent or cited before any court except for the purpose of establishing the defense of res judicata, collateral estoppel, or the

Add to Reading List

Source URL: www.in.gov

Language: English - Date: 2014-08-18 09:32:29
49Daubert v. Merrell Dow Pharmaceuticals / Federal Rules of Evidence / Evidence / Rules of evidence / Exclusionary rule / Expert witness / Admissible evidence / Relevance / Kumho Tire Co. v. Carmichael / Law / Evidence law / Daubert standard

COMMITTEE ON RULES OF PRACTICE AND PROCEDURE OF THE JUDICIAL CONFERENCE OFTHE UNITED STATES WASHINGTON, D.C.20544

Add to Reading List

Source URL: www.uscourts.gov

Language: English - Date: 2006-07-21 11:04:05
50Witness / Expert witness / Hearsay / Character evidence / Perjury / Admissible evidence / Evidence / Cross-examination / Witness impeachment / Law / Evidence law / Federal Rules of Evidence

225 Rule 601 WITNESSES ARTICLE VI. WITNESSES Rule

Add to Reading List

Source URL: www.pacode.com

Language: English - Date: 2013-03-25 13:44:15
UPDATE